COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	I have made the following modifications to FOLMAN[DOC,RWW].
C00003 ENDMK
C⊗;
I have made the following modifications to FOLMAN[DOC,RWW].

The references are specified by <source page>.<document page>, i.e.
the first change is on page 3 of the source file, but comes out on
page 1 of the final document.

p.3.1	corrected spelling of principal
	changed syntax of sentence about not checking axioms

p.4.2	A paragraph comparing FOL declarations with those in a programming
language has been inserted.

p.4.3	The references to previous paragraphs have been made consistent
with the abolition of AUXSYM.

p.9.9	Renumbered quantification example as 4.12 for consistency